Document sans nom

La formalisation
Pour faire apparaître la forme du raisonnement on fait abstraction de son contenu, en utilisant des symboles, comme en mathématique. La formalisation a pour avantage - de dégager la forme du raisonnement de tout contenu pour en examiner la validité - lever les ambiguité du langage naturel, comme distinguer, différencier, sous un même mot un objet et la classe à laquelle il appartient ! (le Cheval comme classe et le cheval comme animal particulier) - Instraurer un véritable calcul de la pensée	Le but de la formalisation est de prévenir les erreurs d'interprétation et d'empêcher les fautes de raisonnement qui ont leurs causes dans l'imperfection du langage ! (Frege, Que le science justifie le recours à une idéographie) G.W.Leibniz songe lui d'une langue en écriture rationnelle pour l'universalité de la communication des différentes notions, ce pour peindre non pas la parole, mais les pensées et parler à l'entendement et non aux yeux !
Le premier raisonnement devient : Tout A est B. Donc tout B est A .	la forme n'est pas valide car la vérité ou la fausseté du second jugementne découle pas nécessairement du premier. En remplaçant A et B par des termes quelqconque, on n'a aucune assurance que, si la prémisse est vraie, la conclusion le sera !
le second raisonnement devient : Tout A est B. Donc quelques B sont A.	La forme est ici valide car la vérité ou la fausseté du second jugement découle nécessairement de celle du premier, on a l'assurance que si la prémisse est vraie, la conclusion le sera aussi !